Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
471	DATAWATCH RECOGNIZED AS BEST BIG DATA TECHNOLOGY PROVIDER TO THE BUY-SIDE Chelmsford, MA—November 4, 2013—Datawatch Corporation (NASDAQ-CM: DWCH), the leading global provider of visual data discovery solutions, annou Add to Reading List Source URL: www.datawatch.com Language: English - Date: 2014-06-18 07:26:54 Financial markets Database management systems Database theory Formal sciences Hedge fund Big data Private equity Database Buy side Financial economics Finance Investment
472	Abstract Interpretation–based Formal Verification of Complex Computer Systems Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-05-14 12:51:08 Contract law Patrick Cousot Abstract interpretation Computer arithmetic Printf format string Caron Implied warranty Floating point ALGOL 68 Software engineering Computing Computer programming
473	UKTC Product Development Lifecycle Template – Supported Product The purpose of this document is to provide a formal template that can guide the developer in the type of information required by the UKTC Edition Committe Add to Reading List Source URL: systems.hscic.gov.uk Language: English Quality assurance Science Management Specification Software development process Quality Standards Evaluation
474	Walton College Business Analytics Certificate Learning Objectives ISYS 5113 — IT Toolkit After completing this course, the student will be able to: ØØ Add to Reading List Source URL: gsb.uark.edu Language: English - Date: 2014-04-14 14:49:51 Database management systems Business intelligence Formal sciences Information technology management Database Data mining Data warehouse Data model Online analytical processing Data management Data Information
475	Automatic Construction of Inference-Supporting Knowledge Bases Peter Clark, Niranjan Balasubramanian, Sumithra Bhakthavatsalam, Kevin Humphreys, Jesse Kinkead, Ashish Sabharwal, Oyvind Tafjord Allen Institute for AI, 215 Add to Reading List Source URL: allenai.org Language: English Reasoning Branches of philosophy Formal systems Programming paradigms Inference Logical consequence Logic programming Axiom Epistemology Logic Philosophy Science
476	L4: Engineering of MT and CAT systems Christian BOITET GETALP-LIG-UJF, Grenoble, France © Ch. Boitet —!NII MT lectures Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-01-12 02:04:55 Ethology Computational linguistics Q-systems Rewriting Language Linguistics C Science Formal languages Mathematics
477	Webis at TREC 2014: Web, Session, and Contextual Suggestion Tracks Matthias Hagen Steve Göring Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2015-02-09 16:44:35 Information Natural language processing Software Axiom Relevance feedback Query expansion Information retrieval Science Formal systems
478	UKTC Product Development Lifecycle Template – In Development The purpose of this document is to provide a formal template that can guide the developer in the type of information required by the UKTC Management Team in Add to Reading List Source URL: systems.hscic.gov.uk Language: English Science Business Methodology Software development process Software engineering Software developer New product development Stage–gate model Product development Systems engineering Technology
479	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 3: Model-checking of timed transitions systems: timed extensions of Petri nets Morgan Magnin Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-09 03:06:25 Concurrency Applied mathematics Diagrams Petri net Automata theory Formal verification Finite-state machine Petri Model checking Models of computation Theoretical computer science Computer science
480	UKTC Product Development Lifecycle Template – Technology Preview The purpose of this document is to provide a formal template that can guide the developer in the type of information required by the UKTC Edition Committ Add to Reading List Source URL: systems.hscic.gov.uk Language: English Standards Science International Health Terminology Standards Development Organisation Quality assurance Software development process Specification Software developer Evaluation Quality Management

UPDATE